@Test
void check_abstract() {

    parser.check(Abstract.class);
    
    verify(environment).error(Abstract.class, quote(Abstract.class.getName()) + " is not a valid main class, should not be abstract");
}