method for top equations is extracted
move constant
lite analyzers for methods without JSR instructions
optimization
one method for contract equation in CombinedAnalysis