for f being Function holds
( f is sequence of INT iff f is Integer_Sequence )