DSA: create formals from input params rather than CFG

[sadrabt]

DSA currently traverses each proc's cfg using the intra-procedural iterator and creates formals for each variable which was not previously defined in the this proc

Instead used formalInParam (this is useful if a new type of statement is added)

The program below will cause a failed assertion in DSA in main if comiled with -O2 since c will only be in assume statements

long x;
long y;
long z;

__attribute((noinline)) int f(int a, int b, int c) {
    y = a + b;
    if (c) {
        x = b;
        return a;
    } else {
        x = a;
        return b;
    }
}

int main(int argc, char **argv) {
    x = f(x, 1, 0);
    return 0;
}

This branch addresses the issue