Add no-warning option (because there are noise when testing).
Add Term predicate file.
Add list_foldmap op and merging.