P -> Pr, don't use \mathfrak
remove some print statements
don't set left, right children to undef unless join is
actually performed (i.e. accepted).
fixed uk_to_split, uk_to_join.