Make clear that FunctionDefinitions get erased in inlining
Add 'require' statements