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