- evaluate it to simplest value
- solve it to arbitrary value
- Use within CEGLESS as bank of exprs
- Avoid GuidedCloser if non-det expr (contains choose, holes, ..)