Diagnosing covert A-movement