include "basic_2/grammar/term_simple.ma".
include "basic_2/rt_transition/cpg.ma".
-(* CONTEXT-SENSITIVE GENERIC PARALLEL RT-TRANSITION FOR TERMS ***************)
+(* COUNTED CONTEXT-SENSITIVE PARALLEL RT-TRANSITION FOR TERMS ***************)
(* Properties with simple terms *********************************************)