Function is_app_of 

pub fn is_app_of(expr: &Expr, name: &Name) -> bool

Check whether an expression is an App whose head is Const(name).