concrete syntax of if stmt updated