Added first incomplete test for Hippocrate (without assert)