Example 5: Two phases, phase loop with minimum coincidence, miscibility gap, and critical end point
by Paul Asimow and Nizar Almoussa