----------------------------------------------------------------------
-- Study how the -> "followed by" operator works by trying to 
-- construct the stream X = 1,2,3,3,3,3,...
----------------------------------------------------------------------

node FollowedBy2() returns ( X,X2 : int );
let

  X = (1 -> 2) -> 3;

  -- study the difference to 
  X2 = 1 -> pre(2 -> 3);
tel