Bug Resolved: related to checking for equality on Const instances.
+ Test case and detailed comments
Minor change: prevents a warning.