add preliminary code to generate pre and post conditions to generated functions to enforce runtime typing