public TryFinally (Statement stmt, Block fini, Location loc) : base (stmt, loc) { this.fini = fini; }