Better reporting of reasons for decomposing.
Refactor PSE-related code in prism.Prism{,CL}.