private void ReadPrivatePredicates(CompoundExpression exp, Domain d) { foreach (Expression e in exp.SubExpressions) { CompoundExpression eSub = (CompoundExpression)e; Predicate p = ReadPredicate(eSub, d); d.AddPrivatePredicate(p); } }