$prefix: mzn-separator !default;