Debugging Anti-Terrorism

Sometimes formal expressions are just way more to the point than words, and this is just lovely: Kevin Poulsen explains why the U.S. bill legalizing limited judicial rights for terrorist suspects is based on one simple programming error. Check the following code and see if you find the bug:

if (person = terrorist) {
punish_severely();
} else {
exit(-1);
}

The solution is here. Let's hope the Supreme Court is good enough in debugging.