Synthesis of hazard-free multi-level logic under multiple-input changes from binary decision diagrams