If there is no "pass = coverage(...)", insert "pass = coverage(1)". Old behaviour was inserting the line if there were not end condition based on coverage. So setting end condition like "fail = coverage(perm(3))" would mean that fmbt wouldn't stop when excpected