contract('checkName') ->in(is_a("mName_T"), is_a("mObject_T")) ->enable;