Adding Constraint Building Mechanisms to a Symbolic Execution Engine Developed for Detecting Runtime Errors.