Keep expanded form when pretty printings variable declarations with implicit marks (i.e., curly braces)

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Keep expanded form when pretty printings variable declarations with implicit marks (i.e., curly braces)