Title: INTEGRATION of SMT-Solver and PATTERN In