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
false
true
lmap
check_asserts