/* Entwurfssem., Mini-Aufgabe 4   */

module A;
module B;

public void run()
   [

   Axiom ==> L(10) A;
   A  ==>  [ LMul(0.25) RU(-45) F0 ] F0 B;
   B  ==>  [ LMul(0.25) RU(45) F0 ] F0 A;
   
   ]