— various refactoring and bugfixes in block decomposition
— small bugfix for PAC models