Added a freeInt(name: String) method to allow auto-generation of int
variable domains