function main(p1, p2) {
  var neverRead = null;

  foo(p1); // PS p1=ANY_VALUE & p2=ANY_VALUE & neverRead=NULL
  if (1) {
    foo(); // PS !p1 & p2=ANY_VALUE & !neverRead
  }

  foo(p2);

  p1 = 42; // PS p1=TRUTHY_NUMBER & p2=ANY_VALUE & !neverRead

  dummyStatement();

  var x = foo(), y = bar();
  if (condition()) {
    foobar(x); // PS x=ANY_VALUE & !y
  } else {
    foobar(y); // PS y=ANY_VALUE & !x
  }
}
