Model checking crashes with "__FREE"

If a BNGL file to be used in model checking contains the string "__FREE", model checking will crash because it thinks there are undefined free parameters. 

This case can easily arise if you are trying to run model checking on a model file previously output by PyBNF with fitted parameters