Generic fixpoint solver for flow graphs.
@author Anders Møller <
amoeller@cs.au.dk
>