Corroder

a set of asserts for better tests