### OS / Environment
<!--- lsb_release -a --->

### Manticore version
<!--- pip show manticore | grep Version --->

### Python version
<!--- python --version --->


### Dependencies
<!--- pip freeze --->


### Summary of the problem


### Step to reproduce the behavior


### Expected behavior


### Actual behavior


### Any relevant logs



