Rename one of the libraries
Permut decision procedure cheated, revert this once permut_dec has real proof..