[Typer] [Git][monnier/typer][elab-tests] Fix safe head test.