Run: print the program if verbose > 0
Abstracted over the representation of variables
Ignore Lexquail.i