Fixed a bug with unsupported python constructs in the FrogSAT code