Indent following new testing of forallqueries.