remove code for obsolete 'fixpat' command

clean up definition of compile_pat function

rename some fixrec pattern-match compilation functions

adding example for case expressions

applying case beta reduction to case term before matching in predicate compile function flattening; moving case beta reduction function to Predicate_Compile_Aux

merged

adapting manual configuration in examples

finding the counterexample with different options (manually limited precisely, manually limited global, automatically limited global)

adding option to globally limit the prolog execution

removing dead code