input model has dirty heap nodes

[benjamin-hejl]

During single iteration of the concolic execution, the input model heap nodes must not be dirty. Some mechanism to clear the IsDirty flag is missing.