Function avalog::solve_and_reduce

pub fn solve_and_reduce<T>(
    start: &[T], 
    goal: &[T], 
    max_size: Option<usize>, 
    filter: &[T], 
    order_constraints: &[(T, T)], 
    infer: fn(&HashSet<T, RandomState>, &HashSet<T, RandomState>, &[T]) -> Option<T>
) -> Result<Vec<T>, Vec<T>> where
    T: Clone + PartialEq<T> + Eq + Hash, 

Solves and reduces the proof to those steps that are necessary.