infinite analysis now works for single predicates and predicate conjunctions