Enabled syntax now supported by HOL-UTP-CML