codeOf
This functions extracts the source code from the input file given a location. This is a bit tricky in Python, as indents are part of the syntax. We also don't want to include leading whitespaces/tabs in case of extracting a nested code fragment. Thus, we use the following approximation to retrieve the fragment's source code:
Get the relevant source code lines
Delete extra code at the end of the last line that is not part of the provided location
Remove trailing whitespaces / tabs