s/has_group_write/group_write/
refactor has_group_write for reuse of has_bit
convert eval to subtest
remove unused variable
refactor all_results to use ancestors, remove duplicate code