Test uses too much stack on 32-bit platforms Reviewed-by: jlahoda
Improve inference propagation logic so that unnecessary inference variables are not propagated. Reviewed-by: vromero