generate
abstract fun generateEdgesFor(semanticArguments: List<L2SemanticValue>, extraSemanticArguments: List<L2SemanticValue>, callSiteHelper: L1Translator.CallSiteHelper): List<Triple<L2BasicBlock, LookupTree<A_Definition, A_Tuple>, List<L2SemanticValue>>>
Generate suitable branch instructions via the CallSiteHelper, and answer a list of Triples that coordinate each target L2BasicBlock with the LookupTree responsible for generating code in that block, plus the list of extra L2SemanticValues that will be present at that block.