Add patch on the original circuit and output the valid r2.v for ABC.
Usage: ./ver <g1.v> <patch.v> <patched.v> <r2.v>
Modified r2.v(r2ABC.v) wll generate at the the same directory of the original r2.v.
You can use function cec in ABC to verify the equivalences.