neighbours in diagonal logic in fcheck