This is in reference to JAVA - thanks in advance

public abstract class X C t* * @ensure result >=0 public abstract int getVarO Censure esult !-0 s/ public abstract int process(int vl, int v2); Suppose class Y extends X class W extends X class Z extends Y Which of the following obey the substitution principle? A) Y.get Var Gensure Iresult>o B) Y.getVar ensure Iresult>2 W.getVar-censure Iresult)so C) Y.getVar densure result>2 Z.getVarCensure Iresult>1 D).process. Orequire v1?1 E) Z.process Orequire v2>0