Add two methods for analyzing instances with specifications