- New ASM Model
- MathML2 Z3 transformations
- Test cases
- Extracting of cp similar formulae
- detecting constant arguments