int inputChars = input.available();
FullMaudeCommandsParser p = new FullMaudeCommandsParser(
new FullMaudeCommandsLexer(input));
p.program();
BaseTermsJoinerTreeParser bt = new BaseTermsJoinerTreeParser();
List<String> commands = bt.program(p.getAST());
int charCounter=0;
for(String s : commands) {
jobs.add(new MaudeJob(s));
charCounter += s.length();
}