added missing reduced_preds/succs getters
refactoring
bug fix in mangle:

* missing case when mangling parameters