diGraph G {
v4 [label="isOdd 3 = False"]
v3 [label="isEven 4 = False"]
v2 [label="mod2 4 = 2"]
v1 [label="plusOne 3 = 4"]
v0 [label="."shape=none]
v3 -> v2 [label=""]
v4 -> v1 [label=""]
v4 -> v3 [label=""]
v0 -> v4 [label=""]
}