we use the following ways to deal with a program with random helper functions:
- all instructions
CALL BPF_FUNC_get_prandom_u32 in the original program won't be modified
- new instruction
CALL BPF_FUNC_get_prandom_u32 won't be generated
- interpreter: get random value from pseudo random values in the input
- validator: BPF_FUNC_get_prandom_u32 instructions with the same instruction id in two programs are set as the same symbolic value