ant: document state machine teardown