loadVista
fun loadVista(analysisJsonText: String, asilBySymbol: Map<String, ASIL> = emptyMap(), analysisJsonDir: File? = null): Vista
fun loadVista(parsed: AnalysisResult, asilBySymbol: Map<String, ASIL> = emptyMap(), analysisJsonDir: File? = null, logicalSinkSymbol: String? = null): Vista
fun loadVista(analysisJsonRoot: JsonNode, asilBySymbol: Map<String, ASIL>, analysisJsonDir: File? = null): Vista
Convenience: pre-parsed JsonNode accepted for back-compat.