move simple-keys? test out of the analyzer into the compiler