C/3¶

Two extra variables:% ToFill tells whether we need to explictly close the chain of% variables.% Last tells whether we are the ones who should close that chain.%.

C( S1, T, S2)*

This predicate is used by the grammar rules compiler and is defined as C([H|T],H,T)`.