TPrunify Don't Waste My Efforts: Pruning Redundant Sanitizer Checks of Developer-Implemented Type Checks. Tutorial and manual comming soon.