public static Surrogate lookupLogicObjectSurrogate(Symbol name, Module definitionmodule) {
    definitionmodule = ((definitionmodule != null) ? definitionmodule : ((Module)(Stella.$MODULE$.get())));
    if (Logic.explicitlyQualifiedLogicObjectNameP(name, definitionmodule)) {
      return (Surrogate.lookupSurrogateInModule(name.symbolName, ((Module)(name.homeContext)), true));
    }
    else {
      return (Surrogate.lookupSurrogate(name.symbolName));
    }
  }