added minimum predicate / lemma on size_t
changed string_size, remove strcmp, trying lemmas about completeness of string comparison
put removed code in some tmp file
changed the Makefile