Fixed the huge disaster with prefix

Implementation: Unfolding of Preds should be correct hopefully now
Implementation: Cloning of quantificators should be OK