Fix unnecessary exceptions on CTL