Add partial order reduction parsing support