Symbolic Trajectory Evaluation -- Automatic Refinement and Vacuity Detection for