this.setPostCond(postCond_); this.setAccess(access_); this.setAbstract(abstract_);
SDeclIR postCondCg = postCond != null ? postCond.apply(question.getDeclVisitor(), question) : null; method.setPostCond(postCondCg);
SDeclIR postCondCg = postCond != null ? postCond.apply(question.getDeclVisitor(), question) : null; func.setPostCond(postCondCg);