Added NoneExpression and a pass to add return statements to procedures.