Debugging Type-Based Alias Analysis optimizations in BPF