Update SMT parser