More concise source location annotation.
* Replaced {:sourcefile X} and {:sourceline Y} with {:sourceloc X, Y, Z}.
* Added Stmt::skip, which creates an "assume true" statement.