assumes that all variables are defined. For the time being the let is generated
for each function containing dynamics. In some special cases this is super-
fluous.