For example T< a > = PASS< 2*a >< b > ; T< b > will produce a flow function f(a)=b, but no flow function for b.

2. A system composed of A#B#C will not force B and C to be terminated if A terminates.

The code for this is partially in place within sysgen.cpp , but needs additional work and testing.

-- (c) Fordham University Robotics and Computer Vision