tlpgp1: [WIP] add precedence constraintes in smt2