rename to assertion.hpp. And...

OK ready compilable