After a bit of digging, it seems that pushPhase should simply be pushOption, and...
ASCIIDisplayer.lua example does not work