do not highlight dots without arrows in logicql
add wrap: printMargin