Fixed data structures for disjunction (still not working on nonHCF components).
Fixed several bugs. (Still not working)
Added missing file.