Temporarily disable variable prettyfication since it breaks the propagation of the semantic components.
Temporarily disable variable prettyfication since it breaks the propagation of the semantic components.

metaborg/dynsem,metaborg/dynsem