[Debug] introduce HandledErrorException to better cope with PHP bug #54275