runCommand -package:graphviz -is:exact -package:process -package:options package:quickcheck-state-machine