include names of symbolic vars for unconstrained returns in case of AVOID_MULTIVALUED_READS
include names of symbolic vars for unconstrained returns in case of AVOID_MULTIVALUED_READS

chubbymaggie/angr,f-prettyland/angr,angr/simuvex,chubbymaggie/simuvex,iamahuman/angr,schieb/angr,tyb0807/angr,iamahuman/angr,axt/angr,axt/angr,schieb/angr,chubbymaggie/simuvex,zhuyue1314/simuvex,schieb/angr,chubbymaggie/angr,angr/angr,angr/angr,f-prettyland/angr,f-prettyland/angr,chubbymaggie/simuvex,chubbymaggie/angr,iamahuman/angr,tyb0807/angr,axt/angr,angr/angr,tyb0807/angr