replacing clocks with true for synchronous systems