Added assertion module and some assertions