Added assertTrue example program