segmentation fault in examples/control_examples.cpp

[soonhokong]

• reported by @scungao, who suspects that it's a memory-related issue
• https://github.com/dreal/dreal3/blob/master/examples/control_examples.cpp#L247-L248