Function check_function_body 

pub(crate) fn check_function_body<'db>(
    db: &'db dyn Db,
    function: SymFunction<'db>,
) -> Option<SymExpr<'db>>