added "checkThen" function to Checker