Predicate Make::noCfg

Holds if no CFG nodes exist in the callable of a on the same line as a, and a is the first AST node on that line.