Remove fallback case in stripParensAndUpdateTreePath #1479
Description
In #1464 we introduce a method stripParensAndUpdateTreePath that has a fallback case when the leaf of the input state.getPath() is not the same as the input expr. We should track down all cases where this fallback case is hit, and fix them to pass a VisitorState with the right path; this will probably improve inference results.