Attempt to characterise type_e determism in terms on infer_e free variables