Implement FunctionCall caching in SimpleExprBuilder for unary and binary Bitvector operators that work via the bvbuiltin attribute.
Implement FunctionCall caching in SimpleExprBuilder for unary and
binary Bitvector operators that work via the bvbuiltin attribute.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix