.analyse(cfg, as, initialValue, new StopCondition.NoStopCondition());
NonRelationalDomain<Bool> boolsBottom = NonRelationalDomain.getStaticBottom();
IntegerBoxes boxesBottom = IntegerBoxes.BOTTOM;
commentData.matchBools(cfg, makeMap1(result, boolsBottom));
commentData.matchBoxes(cfg, makeMap2(result, boxesBottom));
}
protected void testBooleans(MethodControlFlowGraph cfg) {
TestCommentData commentData = TestCommentData.parseComments(cfg);
// Pair<BiMap<CFGVertice, String>, Map<String, Variable>> matchResult = commentData.matchMethodGraph(cfg);