1st commit of AORTA w/ obligations+metamodel
Fixed missing tick
Model checker updated to work with obligations
Cleanup
Changed project structure to NBprojects

Changed to NBprojects for faster compile and easier maintenance
Fixed errorneous property