I have the preferences that non modifying methods be const and since PreconditionsSatisfied name does not seem to modify the action, then it would be better to const method