combine two pags into one.
create the nodes and edges to reflect the constraints corresponding to the given program point.
create the nodes and edges to reflect the constraints corresponding to the given program point. If a value is added to a node, then that node is added to the worklist.
This is the recv bar method in original algo