get rid of ExAsf
rename ExAsr into Assert
clean
clean a bit