Decisionproof Mini Demo