A new test case called SCONSa was added. It targets all consistency criteria, and checks whether they ensure SCONSa or not. 
A new test case called SCONSa was added. It targets all consistency criteria, and checks whether they ensure SCONSa or not. 

git-svn-id: ec016c2bf29fa866ddb05dcf5ad0c32066464a7b@1193 334080fa-30e0-4884-a663-39494f8d70c4

EvilMcJerkface/jessy,EvilMcJerkface/jessy,EvilMcJerkface/jessy,EvilMcJerkface/jessy,EvilMcJerkface/jessy,EvilMcJerkface/jessy