ResultInfo class should be used to make attribution code transparent w.r.t. check logic being used Reviewed-by: jjg, dlsmith
Propagate inference constraints from 15.12.2.7 to 15.12.2.8 Reviewed-by: jjg