Reaching Analysis works for naive pass.
Actually did naive reaching analysis.
Setup the unsound test, working on source level info.
Added line number for UnsoundPass
Added unused variable detection.