pub fn same_head(e1: &Expr, e2: &Expr) -> bool
Check whether two expressions have the same outermost constructor/head.