Fixed tests in example assignment
Completed forall