prove INST_simple_inst