Remove cucumber files after tests
FNMon: merge and simplify two test conditions
Makefile: rework run/debug target
Annotation: add register concolic injection test