Semantic definition of CFL instructions