symboliks-based switch-case analysis for arbitrary platforms.  breaks on
some graph core changes, but will fix that before making a pull request.