Bug fix variable triggers with --inst-max-level : use term in EQC with minimal instantiation level.