Add correctness analysis