repaired abstract compiler test