SpecificationBundle:TestProcedure : improved ReleaseVersion filtering in index-view