Added necessary debruijn manipulations in equiv