Càdlàg path predicates