Marking some assertions as not testable