Sequence diagram check if something is available