Add initial structure for concolic runtime
More work on the concolic mode