0.5.1: update xml verification to check if decision predicates exactly match