Add parameter which indicates for which symbol we should solve the
equation
Catch case when pattern matching fails and do a little renaming
add test for the ThresholdCorrections module