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.