Added a fulhack-implementation of the fixpoint calculation.