deactivated two buggy simplifications (use case dft16 full) so that it works