Add update examples to isbl-test.tcl