Added the logic tester. It still needs development, and won't compile with most library functions. Don't use yet.