Member predicate Variable::LocalVariable::isImplicitlyTyped

Holds if this variable is implicitly typed. For example, the variable s is implicitly type, and the variable total is not, in

void M(string[] ss) {
  int total = 0;
  ...
  foreach (var s in ss)
    ...
}
predicate isImplicitlyTyped()