Question $1.(60$ pts$.)$ Consider specifications A$,$ B$,$ and C below. Assume arg and result are integers and arr is an array of

integers. Select all statements which are true:

Spec A: Spec B: Spec C:

requires: arr $=$ null and arg $>0$ requires: arr $=$ null and arg $>=0$ requires: None

and arg $<10$ and arg $<=20$

modifies: None modifies: arr modifies: None

effects: None effects: sorts arr effects: None

throws: None throws: RuntimeException, throws: IllegalArgumentException,

if arg $>10$ if arr $=$ null

returns: $0<=$ result $<=10$ returns: $0<=$ result $<=10,$ if arg $>0$ returns: $0<=$ result $<=5,$ if arg $<=20$;and arg $<10$; result $=0,$ if arg $=0$

result $=5,$ if arg $=0$

or arg $>=10$

$($a$)$ A is stronger than B$.$

$($b$)$ B is stronger than A$.$

$($c$)$ Neither is A stronger than B$,$ nor is B stronger than A$.$

$($d$)$ A is stronger than C$.$

$($e$)$ C is stronger than A$.$

$($f$)$ Neither is A stronger than C$,$ nor is C stronger than A$.$

$($g$)$ B is stronger than C$.$

$($h$)$ C is stronger than B$.$

$($i$)$ Neither is B stronger than C$,$ nor is C stronger than B