https://symflower.com/en/features/symbolic-execution-rules/