SpecificationBundle:FailOption : include TestOracles with no Area assigned in the list of relevant TestOracles
Merge branch 'area' into beta