Extended the soundnessCheck
Added some double-comparisons and test cases
Added a lexicographic comparision to be able to handle non-degenerate cases