Fixed translation of MUST-NOT-datatype