Temp parsers LTL + XML

Signed-off-by: Lucas Bajolet <r4pass@hotmail.com>