A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction (Logical Methods in Computer Science, 2021)