Fix case when numeric inference kicks out before minimal tautology inference - #894

Fix case when numeric inference kicks out before minimal tautology inference#894

ChernikovP wants to merge 2 commits into

fthomas:masterfthomas/refined:masterfrom

ChernikovP:numeric_inferenceChernikovP/refined:numeric_inferenceCopy head branch name to clipboard