Title: Debugging techniques for equation-based languages