Add missing file for Bayesian Test Cases