if_decision_branch_CVC4,1.5_SP.oracle 722 Bytes