Most checker rules implemented