Seperation Type Checking Tests from Dynamic Runtests