Fixes from the integration of check-ce in SPARK
Most commits are bugfixes or cosmetic, only the last ones are notable:
- Keep result variables in VC SP
- Assume conjuncts marked by RAC:assume during RAC (with description in commit)
- Use attribute RAC:call_id to find return values in giant-step RAC (with description in commit)
Edited by Benedikt Becker