RhsCheck

checkRhs

checkBlock

checkTy