[Variability Encoding] fixed \n in feature model defs