CIF to CIF linearize merge documentation should have clear warning about eliminating non-determinism
The linearize merge CIF to CIF transformation should at the start of its documentation have a warning block that clearly states that the transformation is not behavior-preserving, as it eliminates non-determinism. It should point to the relevant section on non-determinism, and to the linearize product transformation that is to be preferred if all behavior is to be preserved.