Explaining Control Policies through Predicate Decision Diagrams