update pmatchTheory for clocked intLang