pub fn register_tensions_handler(handler: TensionsHandler)
Install the contradiction-finder handler. Idempotent.