adding option for using demand cast checker to filter cast checking results