truth matching fix for neutrals

Sevda Esenrequested to merge
sevda-truth-matching-issue-738 into 2023-hlt2pp-patches

Port the truth matching fix from !4453 (merged) and !4275 (merged)

Related to Moore#738 (closed)

Edited by Sevda Esen

Merge request reports