Added sample files for complex aggregate expressions
Fixed minor bugs in BasicSolver

Commented all private methods of BasicSolver