Define well-formedness for MIR programs.