include casedb for autoselect assertions