change tests to be adequate to automatic_abstract