Function bool_expr_has_two_var_relation 

fn bool_expr_has_two_var_relation(
    expr: &SymBoolExpr,
    searched_vars: &IndexSet<Symbol>,
    inverted: bool,
) -> bool