Added support for Forall and Property automatic conversion