Enable forall tests