small tweaks to all_assignments_info