Minor bug fix in nitrace.pl: skip_trace/1 was not working as expected
Increased precision of locations in check_wrong_dynamic.pl