When evaluating the derived obligations from super traits, maintain a
reference to the original obligation in order to give more actionable
context in the output.
add test to for the fix
add descriptive text for the fix
simplified code logics
update descriptive comments
update to cope with the tidyness requirement
merged commit suggestions
Co-Authored-By: varkor <github@varkor.com>
truncated redundant comments
update to cope with tidy-check
