run tests sequentially
detect annotations independently of line ending
better error message when an unknown objective is found
assume/guarantee objectives
display objectives that are not covered
apply_expr obj
misc objectives
array objectives