Make precondition explicit in method comment