If you don't have referential transparency mathematical equations don't hold. You can't be sure that `a = b` stays true if deducted once.

So "the problem" doesn't get only harder, it becomes impossible to solve in a formal way.