Added Casper model. Compiles, but chokes FDR.
minor adjustment to message 3. also fixed inverse issue
updated model. FDR3 no longer chokes on it
more minor tweaks
fixed knows clauses