STM: when finish a task hcons universe constraints
STM: fix Show Script