bases/
coacc_test/
defs/
empty_test/
inter/
inter_correct/
lattice_fixpoint/
non_coacc_kill/
non_coacc_kill_correct/
pl_path/
refcorrect/
semantics/
signature/
states_kill_correct/
states_kill_empty/
union/
union_correct/