Use the version of kodkod with the free statement.