reset

Rebuilds the solver from scratch (discarding the dynamic knowledge base accumulated by previous resolutions), re-parses currentFile as the static knowledge base, and fires onReset followed by onNewStaticKb. Parsing errors in currentFile are reported through onError rather than thrown.