Efficient Verification of Process Models Supporting Modifications of Data Values