some clone methods to handle putting together two context in rule 3/4 of figure 9 in the paper
context helper method to put together two contexts