Fix: failed merge of main.cpp;
domain : add getPredicates
main : comment out tlpgp2 and use tlpgp1
[WIP] tlpgp1
Merge remote-tracking branch 'origin/master'