Should be determinable from the presents of `equations` or `transitions` keys under the `spec` key.
Should be determinable from the presents of
equationsortransitionskeys under thespeckey.