yes use analysis.getFunctionInfo() as this will check for impl existence