Fixed FunctionalTEsCase3Spec without Evidence list