Add structure and union field references
Add no-op predict_expr
Pass function args from values to expressions
Clean the code and the output