Fix for source node not found error. The data for the SupplementaryAndCongruentImplyRightAngles theorem was not being cleared by the instantiator