Corrected reasoning bug

- was a fixme not fixed
- reasoning works again for plain variables