opaal: A Prototype Model Checker