Adding OpfSpecificationTest for testing daisy3