toward symbolic abstract values
matchCons Set[List[V]] ---> List[V] throws Fail
add stable boxes
fix tests