Made cehck_expr_funcbody, albeit unimplemented.