Guarded Program Transformations Using JTL

   Abstract