Searching in openlane/FSM