Practice 2/assertions

assertion module was implemented