work on updating toIntLangProofsTheory for clocked source semantics
finish updating toIntLangProofsTheory