pipe.modules.invariantAnalysis
Classes 
InvariantAnalysis