Added more test cases to FaunusCompilerTest.