non core constraint in a core only situation

-> With PBoxide at commit 25c2d691

After elaborating the proof for the MaxSAT instance non_core.wcnf non_core.pbp.gz with PBoxide, verification of the elaborated proof elaborated_non_core.pbp.gz with PBoxide fails.

Specifically, verification reports an invalid subproof at line 131,295, which corresponds to an objective-update subproof.

-> However, on the latest commit pboxide fails during elaboration.