print_thenlist
print_prelist
print_id_list_comma
Add ArrayType specs
add xml output to spec
ignore machines_B for *.fail tests too