#424 CIF simulator uses new precondition checking framework

• Best to review per commit.
• End-user visible change: CIF simulator uses new precondition checking framework.
• Other changes:
  • Anno1Provider test annotation provider: small code improvement: join concatenated strings on a single source line.
  • New InvNoTimeDependentCheck check.

Addresses #424 (closed)