Add unit tests for the `forall/2` built-in method