minor update
Merge branch 'merge' of https://github.com/DependableSystemsLab/LLFI into merge