Executes code both Concretely and Symbolically.