Deflection Check using AISC-2010 and a Serviceability Envelope

Hello.

I have ran into an issue when doing deflection checks using AISC 2010 CODE CHECK, DJ1, DJ2 AND DFF.

I need deflection check in my model to be performed using ASD Loads, I have defined both Strength and Serviceability envelopes, but I keep getting deflections check with Strength load cases.

I have attached the model. What I am doing wrong? 

NOTE: DFF, DJ1 and DJ2 definitions are incomplete in the model.(Please visit the site to view this file)