because if x -> Inc_range(x, x, UInt) is an abstract Iterator, Inc_range(1, 10, 1) gets (x -> Inc_range(x, x, 1))(1 | 10), and
o(a) !> Inc_range(1, 10, 1) is decomposed in o !> a -> Inc_range(a, C) and a !> B
Release: $Id: $