specialization of ackermann function to m=2

we get a stackoverflow in reifySubGraph -- is this expected, @TiarkRompf
need to reify functions, doh! cc @TiarkRompf
check generated code