WYCS: finally getting there.
WYIL: making some progress transforming wyil blocks into verification conditions.