Use memory pool in perm coverage.
Make AAL more consistent by allowing () and allowing not to write () after initial_state/adapter_init/adapter_exit/push/pop/body/guard/adapter