pub fn is_app_of(e: &Expr, name: &Name) -> bool
Check if the head of an application is a constant with a specific name.