protected void testBooleans(MethodControlFlowGraph cfg) {
TestCommentData commentData = TestCommentData.parseComments(cfg);
// Pair<BiMap<CFGVertice, String>, Map<String, Variable>> matchResult = commentData.matchMethodGraph(cfg);
AbstractSemanticsIntf<NonRelationalDomain<Bool>> as = new BoolsSemantics();
NonRelationalDomain<Bool> initialValue = as.getInitialValue();
NonRelationalDomain<Bool> initialBools = commentData.getInitialBools();
if (initialBools!=null)
initialValue = initialBools;
Map<CFGVertice, NonRelationalDomain<Bool>> result = Interpreter.analyse(cfg, as, initialValue, new StopCondition.NoStopCondition());