Can not find InterpreterAnalyzer

[RabbitDong-on]

I have looked through your documentation and could not find information on these things so I am asking here for some guidance. I would like to use S2E to prove the functional equivalence between two small python programs. My questions:

(1) I have compiled S2E and adapted python. When i try to test a simple python program, i get an error ("InterpreterAnalyzer is not an instance of BaseInstructionPluginInvokerInterface"). I wonder how to eliminate an error. The result shows that TestCaseGenerator can not generate test cases into some paths. Is above error cause this problem?
config.lua:

python program:

result: