Supporting semicolons in PCInstruction objects, now part of tracefile verification; additionally, if an assignment stmt doesn't end with a semicolon and is followed by End-If, do not emit End-If.