Added test.check based tests for conj and union