Detecting unjustified assumptions in subclasses via EO representation. - Vitaliy Korbashov; Nikolai Kudasov; Mikhail Olokin; Violetta Sim (CoRR, 2022)