SDS - A LOTOS-Based Tool for Symbolic Debugging