minor: add (r := 0) to examples/fact.imp