GT operation ktc, the specification of kTC after rule refinement in ...