[PATCH v2] Fix a bug in atvar_op::print: we did not output the module arg

[Yichun Zhang (agentzh)]

Hello!

On Wed, Aug 22, 2018 at 11:09 PM, Yichun Zhang (agentzh)
<agentzh@gmail.com> wrote:
> This was an issue left by commit bd1fcba. My bad.
>
> Also added some tests to cover this fix.

FYI, just committed this patch to master with the greenlight from fche.

Best,
Yichun