smt2: add current path constraint