pub fn evaluate_trivial(expr: &LocExpr) -> Option<Val>