Predicate SemicolonInsertion::asi

Holds if statement s in statement container sc either has a semicolon inserted and asi is true, or does not have a semicolon inserted and asi is false.

predicate asi(StmtContainer sc, Stmt s, boolean asi)