RhsCheck

checkRhs

checkTy

checkBlock