initial attempt at fast-slow version of nondeterminsitic motion synthesis + example spec