Implemented FOL to CNC converter with grounding of existentially qunatified variables.