symbolic execution: first experiments
1. Marked two rules for if with [symbolic-rule]
2. Added the directory "symbolic" with 3 examples. Two of them work, the third needs extra investigation.