On forward checking for non-binary constraint satisfaction