Capture --functions and --num-lemmas into testcases
Merged a little thing with lemma-error branch