runCommand -package:options -package:shake -package:beam-migrate -package:shake-plus -package:mongoDB -is:exact package:quickcheck-state-machine