Update to Kodkod submodule with IGIA stepcounter