add yields; add trace predicates white list