Make FR asserts consitent with RAD asserts