Add Data into Business Process Verification: Bridging the Gap between Theory and Practice