do not call core finding for unrealizable case