Update verify_by_cbmc.sh

removed unused "-I"