Better extraction of abstract examples. Added abstract FunctionInvocation when extracting examples from StringRender.