code: static boolean bodyMayHaveConditionalCode(Node n) {
      if (!n.isReturn() && !n.isExprResult()) {
        return true;
      }
      return mayHaveConditionalCode(n);
    }
docs: We consider a return or expression trivial if it doesn't contain a conditional expression or
  a function.