add LTL claims