Added matching semantics (with may/must) and layed the semantics figures side-by-side in lncs.
Using Alex's iftwopage instead of new lncsorsigplan.