translated safety properties. remove hboxex with xleftmaring
translated liveness properties