do not remove sms directives from translated code
update TODO
remove replace_statements(), improve replace_statement(), update callers