runCommand -package:options -package:lambdabot-core -package:graphviz package:quickcheck-state-machine