fix(tools/bmc): filter unfeasible paths from pathgen