Missing constant analysis

[krame505]

In some cases where a constant is required, ableC will allow non-constants. For example:

int f() {
  return 4;
}

int x = f();

is accepted and translated by ableC, but it does not compile with gcc.