annot
acc
factory
s
pred
f
fold f m
m
data
stmt
kf_stmt_opt
to_be_removed
fold
bool * y
map_and_merge f m1 m2
m1
add_exact
m2
!mem_project
Some g
g f x
true
x
p
f p
false
compare
equal
hash
lmap
check_asserts