Adding open_constr_wTC for retrocompatibility (with user defined tactics)