renamed validation to disjunction and removed failprojection
Minor refactoring and fixes