Need to figure out performance issue with enforcingInverseRefs
Fixed really bad recursion bug in mOr and mAnd. Performance fixed.
Implemented Z3 component caching, need to check