Supplementary Materials of "BAST: Bayesian Additive Regression Spanning Trees for Complex Constrained Domain "