Resolved problem that disjunction/revapply called whithout args does not work in 1.8.7