Do progress_preservation_statement exercise in StlcProp
Do stlc_variation exercises