SpecificationBundle:TestProcedure : fixed method for retrieving all related Test Oracles