implementations of VariableInstance.