prove has_meaning_simple_inst