// add inferred line to log
svoid gAdd(S s) {
  if (gLog().contains(s)) ret;
  gLog().add(s);
  //print("Inferred statement: " + s);
}