Log: pengine: re-phrase trace log for internal constraints

This improves comments and one trace message, and involves slight
refactoring that I initially planned to do more with, but decided against.