SymbolicVar.scala to replace old method.