Quantifying the Discord: Order Discrepancies in Message Sequence Charts