Check ts in ps for let bindings