method	int compare(Object, Object)
pre	obj1 != null
pre	obj1.name != null
pre	obj2 != null
pre	init'ed(obj2.name)
post	init'ed(return_value)