renamed the constants: from smt_tag to tag_smt and from smt_attr to a attr_smt