CHECK: Self-check of Transformations of Quadratics