adjusted reactive_test to revert failing assignments
revert failing assigments
increased weight of reactive solvers
extended assertions
removed unnecessary returns of value