do not should down the animator after unit analysis. not sure if this is correct anyway.
do not export an empty unit attribute to ProB
use atomicString instead of toString to remove ticks around the units returned by ProB