MCS - Equality added

Added assumptions of order in popFront based on known equality states.