Remove assertion library from module