Appendix A Relationship of Barbarik2 with Property Testing