more comments
reorg
more reorg
create recursive functions after finding fixpoint
no previous fundefs to remove
cleanup
preliminary diff op in fixpoint iteration