[ew:uml] Rename SpecificationChecker to Program Transformer
[ew:uml] Rename SpecificationChecker to Program Transformer

see also 0363c91992, Rearrange Prover Component

team-worthwhile/worthwhile,team-worthwhile/worthwhile