#459 CIF data-based synthesis docs: add examples of (un)support asgns.

- Shows some of the subtleties.
- Explains that rewriting may make it supported.
4 jobs for 459-improve-cif-data-based-synthesis-on-supported-updates-expressions in 0 seconds (queued for 30 seconds)