8 meta "remove_unused:dependency" axiom x_spec, constant x
14 meta "remove_unused:dependency" axiom y_spec, constant y
15 meta "remove_unused:remove_constant" constant y
19 meta "remove_unused:remove_constant" constant z
21 goal g : forall a. a + 8 < 50