V&C MBV Synthesis

V&C MBV Synthesis