Closes #41, --watch-smt prints information about the path branches; fixes bug of idName (prints a parenthesis at the end no more)