Stainless MDL:  Code case consistency