Hello. Please note that this AST printer is not yet complete. For example, at the moment, it fails for any expression that is not a PlusA or a Mult. I only wrote it to get a better understanding of how CIL models the following code, which contains a variably-modified type:

int main(void) {
  int n = 4;
  typedef int vla[n];
  n++;
  vla a;
  int i = sizeof(a);
}

Do we want to merge this so people can use it if they want to understand details about the representation? Or should we just close it?
I'm fine with either - @sim642 Any opinions?

There's plainCilPrinterClass, which is used by d_plainexp, d_plaintype, etc, which seems to be similar but based on a quick look has two differences:

1. It doesn't handle statements.
2. It takes some shortcuts and makes some omissions, e.g. BinOp(PlusA,e1,e2,t) is printed as PlusA(e1,e2).

I think we can just close it for now. There hasn't been need to have something more than the plain printers much.