Implement unary-op, cond-op, for-statement