Uses of Class
spdfcore.stanalys.InconsistencyProof