#1216 CIF to BDD: support 'if' updates.

• Best to review per commit.
• End-user visible changes:
  • The CIF data-based synthesis tool and CIF controller properties checker now support CIF models with 'if' updates.
  • Removed unnecessary constraints that are implied by other constraints, for CIF data-based synthesis tool and CIF controller properties checker documentation.
  • Improve CIF data-based synthesis tool documentation for multi-assignments and partial-variable assignment constraints, like CIF controller properties checker documentation.
• Other changes:
  • Added CifUpdateUtils.updateToNewValueExprPerVar.
  • Some other smaller code improvements.

Closes #1216 (closed)