Adapted SymbolMiner to Pilar v3.