Non final to final methods

[lmove]

Class A has a non final method m(). Client C overrides m(). Afterwards, m() is declared as a final method. We should report cases where m() is overriden.