refactor of transform of fixpoint