Debugger: change usage of getSourcePosition method to SourcePositionManager