pub fn same_head(e1: &Expr, e2: &Expr) -> bool
Check if two expressions share the same head constant.