Describir: Detecting Mismapping in Cross-Directional Control Systems