Started Checker checking in statements, but it's not working yet, it does run the monad but the table is not being correctly read