refactoring fixpoint create