Alternative implementation of OCC transforms, where we allow "unsafe" unbindings to get rid of the linear complexity in terms of the number of entities in the model (see #1240 (closed)).
Please report any side-effects if you discover any!
(cherry picked from commit 2c86397e)