Make failed ENSURE remember its predicate's arguments