symbolic variable sets for predicates and conditioned terms