added spaces to restriction CCSNotationVisitor so word wrapping works