Fix upc_forall.upc test