Assertion list for term "expose the veneer".

Results from Ascent++: 1
tactic CapableOfexpose the veneer 0.28