Added support for eventually, always and distinct goal/invariant.