Added two new quantifications - NOT_FORALL and NOT_EXISTS. This is an
idea I came up with a few days ago when I realised that sometimes we
return SUCCESS when we find an error. Now we can use NOT_EXISTS, so we
find that an error exists (success) and negate it. It doesn't effect
much.
Added restart functionality.
Fixed some issues with restart. Added some tests.