Title: Debugging and structural analysis of declarative equation-based languages