small change to batch/check_equivalence.py for ICs statements