Added all KASSERTS