Add Additional Abstraction Levels To The `on` Methods Of `SemanticCfgGuidedVisitor`

[loki259]

For example, there are currently only handler methods for specific loop variants (for, while, repeat). An additional onLoopCall method could help to avoid duplicated code and to abstract over specific loop types. Another example would be a general onFunctionCall method that abstracts over calls to named/unnamed and builtin/user-defined functions.