another possible approach for semantics_simple_inst