Semantical Vacuity Detection in Declarative Process Mining