Add support for defining the criterion by LoC

Now we have three cases to consider:
 - Specify the slicing criterion by the filename and line number
 - Specify the slicing criterion by the LLVM:Instruction count
 - Don't specify the criterion. The default is the first ret in main

We consider them one-by-one. Thus the priority is then implict.