path condition as a cartesian product
path condition as a cartesian product