The Model Verifier does not (yet) support deferred operations.
The editor does support them.
The Ciera model compiler supports them.
This issue in the issue tracker was raised about a year ago to track support of deferred operations for Verifier:
It is a nice feature; it just needs a bit of time and resource to complete.