Changed the method of depth limiting

Used to limit (co)depth before applying a transformation,
now filter the set of hyperedge pairs before starting
transforming them.
Now the transform manager also accumulates hyperedge pairs
that were filtered out.