State checking for extending abstract classes

Nadie ha tomado este issue todavía.

Currently, reusing state refinements from an abstract superclass in a concrete class is not fully implemented, and gives an error like the one below.

Example for abstract class `java.net.URLConnection`:
```java
@ExternalRefinementsFor("java.net.URLConnection")
@StateSet({"setup", "connected"})
public interface URLConnectionRefinements {

@StateRefinement(to="setup(this)")
public void URLConnection(URL url);

@StateRefinement(from="setup(this)")
public void setDoInput(boolean doinput);

@StateRefinement(from="setup(this)", to="connected(this)")
public void connect();

@StateRefinement(from="connected(this)")
public Object getContent();

}
```

Extended in class `URLExt`:
```java
class URLExt extends URLConnection{

public URLExt(URL url){
super(url);
}

@Override
public void connect() throws IOException {
// TODO Auto-generated method stub
throw new UnsupportedOperationException("Unimplemented method 'connect'");
}

}```

Tested in:
```java
class Testurl {
void test() throws URISyntaxException, IOException {

URLExt u = new URLExt(new URI("http://example.com").toURL());
u.setDoInput(false); // should not be an error but it is
u.getContent(); // should be an error

}
}
```

Reproduce el informe usando las anotaciones de URLConnectionRefinements, URLExt y el ejemplo Testurl. Empieza rastreando cómo se comprueban las refinaciones de estado heredadas de java.net.URLConnection cuando se invocan métodos sobre URLExt. Se considera terminado cuando setDoInput(false) se acepta, mientras que getContent() se rechaza porque el objeto aún no ha alcanzado el estado conectado.

Escrito por el modelo de indexación a partir del texto del issue.