making changes to add an internal constant to TFUN so that the counter value can be re-used in expression
making changes to add an internal constant to TFUN so that the counter value can be re-used in expression

RuleWorld/nfsim,RuleWorld/nfsim,RuleWorld/nfsim,RuleWorld/nfsim