Bugfix: PaVeReduce tests fail