Sources from "Testing QVT-R Transformation Tools with Coq-Verified Implementations"