rene tassy: statement checker almost done v2