handling triggers and pre- and post- conditions
Merge remote-tracking branch 'origin/master'

Conflicts:
	src/codebehind/UseCaseWrapper.py
	src/model.py
	src/renderer_xml.py