tests moved from PrintersTest moved to RuntimeTypecheckerTest