reworking quantification in resolute
changes to resolute syntax for quantifiers
new code for quantifiers
more quantification stuff
adding untracked files
some changes to quantifier stuff
more quantifier stuff
moving new galios model to this branch
updates to quantifier stuff
more resolute quantifier stuff
minor addition
fix to quantifier validation
model updates
 fix connection following bug
model updates
Merge branch 'resolute_quant'

Conflicts:
	fm-workbench/agree/com.rockwellcollins.atc.agree.analysis/src/com/rockwellcollins/atc/agree/analysis/AgreeCombinationalCycleException.java
	fm-workbench/agree/com.rockwellcollins.atc.agree/src/com/rockwellcollins/atc/agree/validation/AgreeJavaValidator.java
	fm-workbench/resolute/com.rockwellcollins.atc.resolute.analysis/src/com/rockwellcollins/atc/resolute/analysis/ResoluteEvaluator.java
	fm-workbench/resolute/com.rockwellcollins.atc.resolute.ui/src-gen/com/rockwellcollins/atc/resolute/ui/contentassist/antlr/internal/InternalResolute.tokens
	fm-workbench/resolute/com.rockwellcollins.atc.resolute.ui/src-gen/com/rockwellcollins/atc/resolute/ui/contentassist/antlr/internal/InternalResoluteLexer.java
	fm-workbench/resolute/com.rockwellcollins.atc.resolute.ui/src-gen/com/rockwellcollins/atc/resolute/ui/contentassist/antlr/internal/InternalResoluteParser.java
	fm-workbench/resolute/com.rockwellcollins.atc.resolute/src-gen/com/rockwellcollins/atc/resolute/Resolute.ecore
	fm-workbench/resolute/com.rockwellcollins.atc.resolute/src-gen/com/rockwellcollins/atc/resolute/Resolute.genmodel
	fm-workbench/resolute/com.rockwellcollins.atc.resolute/src-gen/com/rockwellcollins/atc/resolute/Resolute.xtextbin
	fm-workbench/resolute/com.rockwellcollins.atc.resolute/src-gen/com/rockwellcollins/atc/resolute/parser/antlr/internal/InternalResolute.tokens
	fm-workbench/resolute/com.rockwellcollins.atc.resolute/src-gen/com/rockwellcollins/atc/resolute/parser/antlr/internal/InternalResoluteLexer.java
	fm-workbench/resolute/com.rockwellcollins.atc.resolute/src-gen/com/rockwellcollins/atc/resolute/parser/antlr/internal/InternalResoluteParser.java
	fm-workbench/resolute/com.rockwellcollins.atc.resolute/src-gen/com/rockwellcollins/atc/resolute/resolute/IdExpr.java
	fm-workbench/resolute/com.rockwellcollins.atc.resolute/src-gen/com/rockwellcollins/atc/resolute/resolute/ResoluteFactory.java
	fm-workbench/resolute/com.rockwellcollins.atc.resolute/src-gen/com/rockwellcollins/atc/resolute/resolute/ResolutePackage.java
	fm-workbench/resolute/com.rockwellcollins.atc.resolute/src-gen/com/rockwellcollins/atc/resolute/resolute/impl/IdExprImpl.java
	fm-workbench/resolute/com.rockwellcollins.atc.resolute/src-gen/com/rockwellcollins/atc/resolute/resolute/impl/ResoluteFactoryImpl.java
	fm-workbench/resolute/com.rockwellcollins.atc.resolute/src-gen/com/rockwellcollins/atc/resolute/resolute/impl/ResolutePackageImpl.java
	fm-workbench/resolute/com.rockwellcollins.atc.resolute/src-gen/com/rockwellcollins/atc/resolute/resolute/util/ResoluteAdapterFactory.java
	fm-workbench/resolute/com.rockwellcollins.atc.resolute/src-gen/com/rockwellcollins/atc/resolute/resolute/util/ResoluteSwitch.java
	fm-workbench/resolute/com.rockwellcollins.atc.resolute/src-gen/com/rockwellcollins/atc/resolute/serializer/ResoluteSemanticSequencer.java
	fm-workbench/resolute/com.rockwellcollins.atc.resolute/src-gen/com/rockwellcollins/atc/resolute/serializer/ResoluteSyntacticSequencer.java
	fm-workbench/resolute/com.rockwellcollins.atc.resolute/src-gen/com/rockwellcollins/atc/resolute/services/ResoluteGrammarAccess.java
	fm-workbench/resolute/com.rockwellcollins.atc.resolute/src/com/rockwellcollins/atc/resolute/Resolute.xtext
	fm-workbench/resolute/com.rockwellcollins.atc.resolute/src/com/rockwellcollins/atc/resolute/validation/ResoluteJavaValidator.java
	models/Flight/packages/PX4FMU.aadl
	models/Flight/packages/PX4IOAR.aadl
	models/Flight/packages/UAV.aadl
	models/Flight/resolute/Execute_Completeness.aadl
	models/Flight/resolute/Execute_Soundness.aadl
	models/Flight/resolute/Mode_Properties.aadl
	models/Smaccmcopter/SOFTWARE.aadl