added STMTreap to verify, changed contains around.