public boolean isVariableInitialized(VariableInstance var) { return _brc.isVariableInitialized(var); }