Converted assertions to functional checks