A Debugging Approach for Trigger-Action Programming