possible progress on semantics_simple_inst_imp