Few fixes
Add LastConflict reasoning
Fix bug in FGoal when "-dv" is on, add database option for FZN
Merge branch 'feature-fix' into develop