reimplemented the fwtn solver
made "dead-code"==bottom for eq-solver