In reply to Varunshivashankar:
Code is not formatted well (Look at tags while posting) making it hard to read/follow. Also looks like the driver code is not shown. My guess - you are using NBA for class variables - not a good idea (Believe it was illegal, now allowed in latest LRM). Change them all to Blocking assigns inside seq::body and try.
Good Luck
Srini
www.verifworks.com