GitLab

adding more statistics tracking to G2; tweaking G2 jandling of ADT-method to make it refined based on selected prefixes rather than all prefixes.

New treatment for interface and abs

See merge request !1

Optimizing prefixes refinement, to only do that when there is a method-ADT goal that is put back in the worklist.

fixing some bug with tracking of _spec() method; it causes both m and m_spec() to be included in the scope.

changing G2 top-level engine to save minimized test suite every time it saves a suite (rather than plain suite)