This package contains the UI for CProver-based analyses.