Added weak normalization from the new SHARP
Adding empty leaves / root has now been migrated into SHARP