Delete ROBDDComputed.class