first test for add_method
add utility assume_type