Errors with Adding

The problem is with the actual adding itself, in the addInner function which was basically what the addN was before, without the self-balancing aspect. However, even when I try to change it back to how it originally was, my property testing for add is not working.