Intermediate representation for SMT problems
Provides similar functionality to the attr_* methods, but can also generate private getter/setter methods for class internal use.