Provide transformation from Expr structure (ExprDD.Expr) into Hol term. Using semantical transformation for visible operator
predInHol : ExprDD.Expr -> Hol term
predInHol expr
Semantical transform expr into Hol state predicate term. Required the StatePredTheory library to be loaded first.