MinMaxComposition

MinMaxComposition, VecCmp, MinMaxTransitiveClosure, RelationNegation,
AlphaLevel functrions was added.