add path conditions