public static void Rule(CompoundTermMember lhs, Term term) { }
public static void Rule(Term lhs, Atom atom, OptionalTermBody optionalTermBody) { }