const Automaton* Manifest::FindAutomaton(const Location& Loc) const { Identifier ID; *ID.mutable_location() = Loc; return FindAutomaton(ID); }