- name is the name of the object. A default name in saX is provided if none is given.
- file is the name of the state assertion file
- compression is the compression used on the file (none, gz)
- post_events tells state-assertion that sender posts events for comparing, default is true.