SMT-based verification of data-aware processes: a model-theoretic approach