Detection of separable predicates on series-parallel systems