The unverified CakeML checker can (incorrectly) process a file