use a "patched" version of the VoidVisitorAdapter