aiger_ptltl
