Serious code refactoring. Renames/removes functions
Refactoring continued
WIP: Take into account (in)equality assertions
Now Exists Rule ALWAYS creates new individual