Refactored WCTL syntax, preparing for max-fixpoint