assertion library added