This is a smoke test of dex conversion, which ensures that the
conversion runs without failure, though the contents of the converted
file are not checked for correctness. This test is of the case of a
method call to a method which returns a value, where that value is
ignored.