new symantic checker features