Creates variables and domains in GIQLI