Tria: Improved value-semantics check