b_eval fs env (EApp p name expr) =
    let Just f1 = find_fun fs name in case b_eval fs env expr of
        ZeroDivision -> ZeroDivision
        argument -> b_eval fs [(funcArg f1, argument)] (funcBody f1)