CSIT-339: Add Keywords for SMT