[Typer] [Git][monnier/typer][master] * tests/inverse_test.ml: Simplify and shorten output