Safe transformation development cycle
Fetching transformations;
Fetching assertions and proofs;
Checking the proofs (or trusting the assertions);
Composing transformations;
Proving that the composition satisfies the required properties;
Publishing transformation and properties.