SMGEdgeHasValueFilterTest: refactor init of edges, add init of sets
SMGEdgeHasValueFilterTest: refactor init of edges, add HVE sets of pairs
Add sets of pairs of has-value edges and the representing record PairSet to make tests over sets more conveniently.
Refactor static initialization of edges, too: use ImmutableList as the default List implementation to use.
Edited by Петров Олег Максимович