Alternative implementation of OCC transforms, where we allow "unsafe"...
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)