add missing case to big step

when opapp fails
fix up bigClockTheory