new SymConst semantics