A package to check the cancellation axioms of conjoint