fix elaboration errors
split tests apart