Minimal model generation in KodKod