Added simplification/rewriting for assumptions

[Damtev]

Description

Added simplification and rewriting for assumption constraints.

Fixes #630.

Type of Change

Bug fix (non-breaking change which fixes an issue)

How Has This Been Tested?

Automated Testing

org.utbot.examples.stream.BaseStreamExampleTest#testDistinctExample

Manual Scenario

Example from the issue:

public class ApplyForAllExample<T> {
    public int getGenericCollectionArgumentSize(@NotNull Collection<T> arg) {
        return arg.size();
    }
}

Checklist (remove irrelevant options):

• The change followed the style guidelines of the UTBot project
• Self-review of the code is passed
• The change contains enough commentaries, particularly in hard-to-understand areas
• New documentation is provided or existed one is altered
• No new warnings
• All tests pass locally with my changes

Discussed, seems like we have contradictions between our view on the changes

[dtim]

LGTM, seems to fix the issue (at least on Collection<T>.size() example).

[SBOne-Kenobi]

Fixed #298