Added a junit PolySuite
Added a new Exception for not supported LTL formulas