added "forall" method. fixed testcase.