- (** call *tactic (params) etc. *)
- | ETacticCtor of loc * id * expr list
- (** variable, or goal call with no parameters *)
+ (** call goal (params) or function (params) *)
+ | EPredCtor of loc * id * expr list
+ (** constructor is-predicate (params) *)