move lemmas to ther file
update Makefile
rename file
implement PokeBit8 by PokeRightBit8
add include guard
fix include
cast 1 to uint8_t
Merge branch 'left-by-right' into work
fix signed integer constants
reformulate contract
reformulate postcondition
formatting and various proof attempts
Merge branch 'left-by-right' into work