pub fn plusfd<U, E, G>( u: LTerm<U, E>, v: LTerm<U, E>, w: LTerm<U, E>) -> InferredGoal<U, E, G> where U: User, E: Engine<U>, G: AnyGoal<U, E>,