catchall.erl

    try unsafe(PVS) of
        Res -> Res
    catch
        A:B              -> lager:error("Problem:~p stacktrace:~p",[[A,B], erlang:get_stacktrace()]),
                            case {A,B} of 
                                {exit,_} -> exit(B);
                                {error,_} -> error(B);
                                {exception,_} -> throw(B)
                            end
    end.

This one is better:

try unsafe(PVS) of
Res -> Res
catch
A:B ->
St = erlang:get_stacktrace(),
lager:error("Problem:~p stacktrace:~p",[[A,B], St]),
erlang:raise(A,B,St)
end.

Thanks!