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