pub fn conversion_diff(e1: &Expr, e2: &Expr) -> Vec<(Expr, Expr)>
Collect pairs of subexpressions that differ between two expressions.