*/
	public void addStmtBeforeJump(final Stmt stmt) {
		final Stmt last = lastStmt();
		Assert.isTrue(last instanceof JumpStmt, "Last statement of " + block
				+ " is " + last + ", not a jump");
		addStmtBefore(stmt, last);
	}