Added ltl claims to pml