refactor fixpoint algos

2 jobs for master in 25 minutes and 47 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #36806
stack-build

00:11:51

 
  Test
passed #36807
stack-test

00:13:55