Keep track of path conditions

Used in sBranch essentially
Improve the example
slightly better debug message