abstract statement creation