Changed definition for test. Renamed symbolic-kompile dir to test1.
Use the MaudeBackend instead of SymbolicBackend.
Use regex to match program output