fix psholSemanticsTheory for new constant definition