Add a query for srcomp state