reduce semantics_simple_inst to a single cheat