List<IMaudeJob> jobs = new ArrayList<IMaudeJob>();
if(isFullMaude())
try {
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;