Implemented complex criterion analyzer.
Some fixes.
Tests for exists criterion analyzer.
Some fixes.