Renamed //-preserves-comp to //-preserves-comp' (as it's not exactly preservation of composition).