ida.pelab.prt.transformation
Classes 
ExpressionSimplifier
ExpressionTransformation
SymbolicAnalysis