Improving the constant-existence check.