sl/fixed_point_rewrite: implement move of loop-closing edges
sl/fixed_point_rewrite: provide AnnotatedInsn API
sl/fixed_point_rewrite: require TextInsn to be annotated [not tested]
sl/fixed_point: use GenericVar in removeDeadCode()