Add '-v' option to patternsolver, to make it show its working.