Fix refinement variable mapping: '_' and 'return' →#145

rajshivu wants to merge 1 commit intoliquid-java:mainliquid-java/liquidjava:mainfrom

rajshivu:feature-result-refinementrajshivu/liquidjava:feature-result-refinementCopy head branch name to clipboard