Add a test for a paradox situation
Add test for paradox involving select
Add missing file
Add test for 'if' paradox
Counter-example and more docs
Simple tripwire scheme
Remove some of the nastyness of If
Detect paradoxes