added the perSyncDef
added the HistoryExp
Added the history counter template.
Added the history counter IR method.
Added the permission predicate IR method.
added the EvaluatePP method. 1st attempt!
tests changes.