Added shared assertion module