using circular for fixpoint computation again