alcove_proto:returns/1 -> will_return/1