Only check `assert false` branches after all positive constraints have been included in answering. Test results update.