added details to a forall check when one of the checks has failure details