Effective Data Tracking for Behavior Programs