[Parser] Handles loop-variable dependencies (prototype)