Falsification of Safety Properties in Multi-Rigid-Body Mechanical Systems with Hybrid Automata and Constraint Satisfaction