Opti-related `initstep_heur` pruning. Include inequalities of both cases when case-splitting on an opti atom.