update fixpoint algorithms to match paper

3 jobs for master in 72 minutes and 14 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Dependencies
passed #195139
stack-dependencies

00:23:46

 
  Build
passed #195140
stack-build

00:23:09

 
  Test
passed #195141
stack-test

00:25:18