t and t_i is the premise of t accessed by Rel i in t_0.
Performes a whd on the conclusion before giving up.
Each t_i is returned with a context c_i in wich it is typed
t and t_i is the premise of t accessed by Rel i in t_0.
Performes a whd on the conclusion before giving up.
Each t_i is returned with a context c_i in wich it is typed