Give the pre- and postconditions for a program that takes as an input an array of size n in which each item in the array is an integer and the items are sorted in decreasing order starting at position 0 of the array. The number of items in the array before the program begins is S. The program inserts a new item into the array if there is room. The return value is S 1 if the item was inserted or -1 if not. (You do not need to write the program) (# precondition .)
int insert (int Al),int s, int item)
{
__
}
(# postcondition Let S, equal the return value .)