Ordinarily you would be correct, the D1 would be a consequence not an imposition. However, snubbers are different - you only want them active in the OCC event. So you can't setup a load case such as W+T1+P1+"occ event" with the snubber in the model, since it will restrict all movement of the node, not just that imposed by the "occ event".

The only proper way to handle snubbers in a static analysis is the multi-step (analysis) setup described by "Anonymous" above.