Checking optimizer