Refactor basic block detection of coverage goal instrumenter

[peterschrammel]

• Basic block detection on a goto program should become a utility function similar to loop detection.
• Also language-specific should become pluggable
• Some control over whether assume statements delimit basic blocks should be added