Issues to resolve before merge PICO into EISOP

[aosen-xiong]

I will use this issue as a list to keep track of a few known issues with PICO.

Feature integration into the framework:

• [Viewpoint adapted type use check] Adapt type use based on class bound #1032
• [Viewpoint adapted method override check] have not created yet, wait until Adapt type use based on class bound #1032 merged because the test case might messed up.
• [New cast logic] Improve cast warnings/errors logic #1049
• [Forbid annotation on supertype] Forbid annotations on supertype #1068

PR: #865
PR: #799

[aosen-xiong]

Features nice to have:

// TODO: Implement flow refinement for PICO
public @Immutable BaseClass testFlow(@Readonly BaseClass s) {
    if (s.getClass() == ImmutableClass.class) {
        return s;
    }
    return new ImmutableClass();
}

@ReceiverDependentMutable class BaseClass {}

@Immutable class ImmutableClass extends BaseClass {}