Method: SQuantifierExpBase(SourceNode, Object, List, STypeIR, List, SExpIR)

ERROR: Error while reading the sourcefile!