if_assign_CVC4,1.5_SP.oracle 2.86 KB