New syntactic representation for the insulin problem added. Same semantic meaning!