Fixed up Clingo code to allow Clingo to determine number of levels to use.