Beyond Soundness: On the Semantic Consistency of Executable Process Models