engine 0.4.5: fix a bug in renju rule