Improved performance of instance arguments, exponential complexity in the depth is now only quadratic