Added loop in MakeCongruent that looks for the  RBEC which was just moved in argument lists and replaces it with the new parent.  This makes the second example work.