Remove effectWCon solver
Remove effectWCon solver

It was designed for inequality constraint systems with multiple right-hand sides.

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