scenario: backend not started
given that the backend is not started
when user invokes auto completion
then the completion menu shows "backend not started"
scenario: backend busy
given that the backend is busy
when user invokes auto completion
then the completion menu shows "backend busy"
scenario: model not loaded
given that the backend has not loaded the model
when user invokes auto completion
then the completion menu shows "model not loaded"
scenario: backend not started given that the backend is not started when user invokes auto completion then the completion menu shows "backend not started"
scenario: backend busy given that the backend is busy when user invokes auto completion then the completion menu shows "backend busy"
scenario: model not loaded given that the backend has not loaded the model when user invokes auto completion then the completion menu shows "model not loaded"