using predicates to determine whether current code has unfinished todos