Define common properties an behaviors of Symbex Controller and Processor
The Symbex workflow scheduler
Control [execution] context streams before and after symbolic execution
Perform symbolic execution of a given [execution] contexts