Create a rsimp attribute named
attr_name, the attribute declaration is named
The cached hinst_lemmas structure is built using the lemmas marked with simp attribute
but not marked with
ex_attr_name is the "exception set". It is useful for excluding lemmas in
which are not good or redundant for ematching.