Change SMT lineariser keywords