Fixed ForallChecker and added tests.