Implement forall and tests
Fix forall, add failure test case