Add unit tests for Property BSR and x=y detection#837

EpsilonPhoenix wants to merge 1 commit intovprover:property-unit-testsvprover/vampire:property-unit-testsfrom

EpsilonPhoenix:property-unit-testsEpsilonPhoenix/vampire:property-unit-testsCopy head branch name to clipboard