Added Seq_Based_Realiz.

Also changed some order expressions to an equivalent <= version.