A possibility is to use “try … catch”. See [Not stopping the algorithm after violation of BK-conditions)