Constant facts are removed from preconditions, effects and states.