fix disjunction module bug