Added tests for DEFCORO