new test which contains the bug, this commit does not have the latest code for extraction and FOL conversion