I want to create a recursive abstraction but I'm having problems with the
instances of the abstraction: saving one abstraction before it calls
itself makes it definitive. This means that the second abstraction (in the
first abstraction) will not load the new saved abstraction. (I hope the
explanation it's not too complicated...).