Text this: Model Checking of Workflow Nets with Tables and Constraints.