This hook is called if the Goal of assertion/1
fails. Reason is unified with either fail if Goal
simply failed or an exception call otherwise. If this hook fails, the
default behaviour is activated. If the hooks throws an exception it will
be propagated into the caller of assertion/1.