Summary Diagnose label mismatch based on argument mapping which is used by type check in after repair stage Diagnose all out of order labels Diagnose label mismatch and out of order same time Spli...