Make assertion more precise