SFLMSG bezieht sich auf die SFL.
ERRMSG kannst du ja im CTL-Satz verwenden wenn die SFL leer ist.