Make assertion more specific