alloc_compare_size
sm = set_state_expr(size_id, pointer, alloc_compare_size(limit_type, size));
tmp = set_state_expr(size_id, pointer, alloc_compare_size(limit_type, arg));
tmp = set_state_expr(size_id, array_expr, alloc_compare_size(limit_type, size_expr));
tmp = set_state_expr(size_id, array_expr, alloc_compare_size(limit_type, size_expr));
tmp = set_state_expr(size_id, array, alloc_compare_size(limit_type, offset->unop));
tmp = set_state_expr(size_id, array, alloc_compare_size(limit_type, expr->left));