Adds a pure statement