VerifyException in AstLocationClassifier if more than one C file given

The command line cpachecker test/programs/simple/multipleCFiles/ldv2/ldv_common_model.i test/programs/simple/multipleCFiles/ldv2/sh_mobile_ceu_camera.o.i in 29bb4d4a produces the following crash:

Exception in thread "main" com.google.common.base.VerifyException
        at com.google.common.base.Verify.verify(Verify.java:102)
        at org.sosy_lab.cpachecker.cfa.parser.eclipse.c.AstLocationClassifier.visit(AstLocationClassifier.java:134)
        at org.eclipse.cdt.internal.core.dom.parser.c.CASTCompoundStatement.accept(CASTCompoundStatement.java:75)
        at org.eclipse.cdt.internal.core.dom.parser.c.CASTFunctionDefinition.accept(CASTFunctionDefinition.java:141)
        at org.eclipse.cdt.internal.core.dom.parser.ASTTranslationUnit.accept(ASTTranslationUnit.java:289)
        at org.sosy_lab.cpachecker.cfa.parser.eclipse.c.AstCfaRelationBuilder.getASTCFARelation(AstCfaRelationBuilder.java:41)
        at org.sosy_lab.cpachecker.cfa.parser.eclipse.c.EclipseCParser.buildCFA(EclipseCParser.java:348)
        at org.sosy_lab.cpachecker.cfa.parser.eclipse.c.EclipseCParser.parseSomething(EclipseCParser.java:133)
        at org.sosy_lab.cpachecker.cfa.parser.eclipse.c.EclipseCParser.parseString(EclipseCParser.java:152)
        at org.sosy_lab.cpachecker.cfa.CParserWithLocationMapper.parseFiles(CParserWithLocationMapper.java:218)
        at org.sosy_lab.cpachecker.cfa.CFACreator.parseToCFAs(CFACreator.java:722)
        at org.sosy_lab.cpachecker.cfa.CFACreator.parseFileAndCreateCFA(CFACreator.java:490)
        at org.sosy_lab.cpachecker.core.CPAchecker.parse(CPAchecker.java:432)
        at org.sosy_lab.cpachecker.core.CPAchecker.run(CPAchecker.java:306)
        at org.sosy_lab.cpachecker.cmdline.CPAMain.main(CPAMain.java:171)

It seems that AstLocationClassifier does not attempt to handle multiple input files at all currently. @Marianl?