Initial Kodkod generation
SMTFormula -- initial generation