allow event transitions w/o state transitions
punting on automatic translation to NuSVM
cleanup and commented code snippets for eventual automation of get_dependencies