comments and alignment
Added support for effect checking delete expressions.