Add correctness assertions