finishing abstraction over C statements