Uses of Interface
de.tilman_neumann.jml.sequence.NumberSequence