False-path elimination and simplification of sequential acyclic descriptions with complex branching logic