test cases for presf_abc_dcl