Added predicates and not operation
metaSMT-server: update TODO