Fixed simple path constraint
Fixed some simple path constraint tests