Add basic assertion stuff