specializeTyDict condition