Remove obsolete code and cleanup comments

Author: rajshivu

liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/general_checkers/MethodsFunctionsChecker.java

@@ -162,7 +162,7 @@ private Predicate handleFunctionRefinements(RefinedFunction f, CtElement method,
         Optional<Predicate> oret = rtc.getRefinementFromAnnotation(method);
         Predicate ret = oret.orElse(new Predicate());
         ret = ret.substituteVariable("return", Keys.WILDCARD);
-        ret = ret.substituteVariable("$result", Keys.WILDCARD);// added for refinement
+        ret = ret.substituteVariable("$result", Keys.WILDCARD);
         f.setRefReturn(ret);
         rtc.getMessageFromAnnotation(method).ifPresent(f::setMessage);
         return Predicate.createConjunction(joint, ret);
@@ -183,13 +183,6 @@ public <R> void getReturnRefinements(CtReturn<R> ret) throws LJError {
                 RefinedFunction fi = rtc.getContext().getFunction(method.getSimpleName(),
                         ((CtClass<?>) method.getParent()).getQualifiedName(), method.getParameters().size());
 
-                if (fi == null)
-                    return;// null check refinement
-
-                if (fi.getRefReturn() == null) {
-                    return;
-                }
-
                 List<Variable> lv = fi.getArguments();
                 for (Variable v : lv) {
                     rtc.getContext().addVarToContext(v);