Add strategies for code instrumentation

E.g. coarse-grain - testing only input/output of loops/functions; fine-grain - testing how variable changes in each loop iteration.

This requires the automatic code instrumentation