Revert "Permut decision procedure cheated, revert this once permut_dec has real proof.."

This reverts commit 755c2394b8b0851de5807d39e94c915e0346d029.
Cleanup