Function query 

pub fn query(
    aig: &Aig,
    a: AigLit,
    b: AigLit,
    earlier: &[(AigLit, AigLit)],
) -> Query

query_with_cut over the whole cone.