update compilerProofsTheory for clocked source semantics