adding testing file for the precondition that the member has a width specified which is larger then the return type.