This method call invokes (bottom type).boo, so the analysis may terminate Currently, SymbolBlock translates bot receiver to any type