Update ALISA documentation on global requirements and guidance in writing verification methods

[reteprelief]

Currently we have documentation in alisa-examples that complements the OSATE help. The OSATE help is a little out of date regarding conditional requirements and reusable global requirements on model elements other than components.