few more cases of semantics_simple_inst