void add_expression(token_t token, uint64_t value, bool equality);
SnapVector<struct concrete_pred_expr> * getExpressions() { return &expressions; }
void add_expression(token_t token, uint64_t value, bool equality);
SnapVector<struct concrete_pred_expr> * getExpressions() { return &expressions; }