Soft and Hard Assertion support