pub fn or<T1, T2, A>(condition1: T1, condition2: T2) -> Or<T1, T2, A> where
    T1: Termination<A>,
    T2: Termination<A>,
    A: Algorithm