Bug fix on generation of Disjunctive guards for junction