Conditional Automata: A Tool for Safe Removal of Negligible Events