TypeError: intersect_source_invariant=true

[dfcaporale]

TypeError: in typeassert, expected ReachSet{Float64,Union{HPolytope{Float64,LazySets.Arrays.SingleEntryVector{Float64}}, HPolytope{Float64,Array{Float64,1}}}}, got a value of type ReachSet{Float64,HPolytope{Float64,Array{Float64,1}}}

Stacktrace:
 [1] setindex!(::Array{ReachSet{Float64,Union{HPolytope{Float64,LazySets.Arrays.SingleEntryVector{Float64}}, HPolytope{Float64,Array{Float64,1}}}},1}, ::ReachSet{Float64,HPolytope{Float64,Array{Float64,1}}}, ::Int64) at .\array.jl:847
 [2] push!(::Array{ReachSet{Float64,Union{HPolytope{Float64,LazySets.Arrays.SingleEntryVector{Float64}}, HPolytope{Float64,Array{Float64,1}}}},1}, ::ReachSet{Float64,HPolytope{Float64,Array{Float64,1}}}) at .\array.jl:936
 [3] push!(::Flowpipe{Float64,ReachSet{Float64,Union{HPolytope{Float64,LazySets.Arrays.SingleEntryVector{Float64}}, HPolytope{Float64,Array{Float64,1}}}},Array{ReachSet{Float64,Union{HPolytope{Float64,LazySets.Arrays.SingleEntryVector{Float64}}, HPolytope{Float64,Array{Float64,1}}}},1}}, ::ReachSet{Float64,HPolytope{Float64,Array{Float64,1}}}) at C:\Users\danie\.julia\dev\ReachabilityAnalysis\src\Flowpipes\flowpipes.jl:276
 [4] solve(::InitialValueProblem{HybridSystem{LightAutomaton{LightGraphs.SimpleGraphs.SimpleDiGraph{Int64},LightGraphs.SimpleGraphs.SimpleEdge{Int64}},ConstrainedBlackBoxContinuousSystem,ConstrainedIdentityMap,AutonomousSwitching,Array{ConstrainedBlackBoxContinuousSystem,1},Array{ConstrainedIdentityMap,1},Array{AutonomousSwitching,1}},Array{Tuple{Int64,Singleton{Float64,Array{Float64,1}}},1}}; max_jumps::Int64, intersection_method::TemplateHullIntersection{Float64,LazySets.Arrays.SingleEntryVector{Float64},BoxDirections{Float64,LazySets.Arrays.SingleEntryVector{Float64}}}, clustering_method::BoxClustering{Int64,Missing}, check_invariant_initial_states::Bool, intersect_invariant_initial_states::Bool, intersection_source_invariant_method::FallbackIntersection, first_mode_representative::Bool, intersect_source_invariant::Bool, disjointness_method::BoxEnclosure, fixpoint_check::Bool, kwargs::Base.Iterators.Pairs{Symbol,Any,Tuple{Symbol,Symbol},NamedTuple{(:tspan, :alg),Tuple{Tuple{Float64,Float64},TMJets{Float64,ZonotopeEnclosure}}}}) at C:\Users\danie\.julia\dev\ReachabilityAnalysis\src\Hybrid\solve.jl:102
 [5] top-level scope at .\timing.jl:174 [inlined]
 [6] top-level scope at .\In[41]:0
 [7] include_string(::Function, ::Module, ::String, ::String) at .\loading.jl:1091

ref notebook: 20201208_SPICE_R3_Notebook_GuardIntersection.ipynb