Soufflé-based analysis module and IR adjustments

[byakuren-hijiri]

This PR implements Soufflé bindings to solve the constraints collected by the custom detectors as well some adjustments in the current IR.