Update top behavior in EqConstrSysFromGlobConstrSys to match GlobSolverFromEqSolver
Update top behavior in EqConstrSysFromGlobConstrSys to match GlobSolverFromEqSolver

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer