Statistics for Improving lazy abstraction for SCR specifications through constraint relaxation