I believe we should just push through and implement the concrete interpreter to handle the following features.
Excluded language features:
- Concurrency
- Reflection
- Class loading
- System Calls
My argument for this list is that I believe all the Jimple commands will be covered by the list of included features. This will drive development and documentation of our interface. I believe all of the excluded features show up as method invocations of library code.