compilable state with Trigger access information added