several bugfixes in PartialOrder
tests for PartialOrder