exception handling in exhaustive and aproximate ANDs