shared summary completed, passed regression, constraint solving unfinished (widening for now), fix the bug of matching this$0