Factorial computation following the *Program Graphs* presentation
by Nielson and Nielson in their book "Formal Methods -- An Appetizer".