fixed the current bug, need to add code for distributing deeply nested disjunctions