On the methods to construct UFD counterexamples to a cancellation problem