stated some of the compat lemmas for instruction sequences