fix check-satisfied to properly deal with errors in predicate check