Update some unit tests for to workaround limitations on the Lean Prolog parser