A few assertions added to cover 100% the C file
broken test in php added