Issues in Modeling Process Variants with Provop · Study