internal IEnumerable<CutState> FindClauses(Structure head, object body) { PredicateInfo i = CheckForPredicateInfo(head.PredicateIndicator); return (i==null)?CutStateSequencer.Fail():i.FindClauses(head, body); }