implemented forward dataflow in MySolver class