promela bench: is inline a problem? Apparently just branching.