fixes overwrite procedure for generation of new syzygies
fixes small memory leak in test of sig-safeness in reduction