autopilot-prep

Synopsis: autopilot-prep;

Description:

This macro performs the following steps:
  1. Finish symbolic execution
  2. Separate proof obligations
  3. Expand invariant definitions

Arguments:

No arguments required