dilate.pencil.c remove unecessary pencil assumes
dilate.pencil.c remove unecessary pencil assumes


Former-commit-id: 2199fe0341107bafa8d110ea918ee735b0a03008
pencil-language/pencil-benchmark,pencil-language/pencil-benchmark,rbaghdadi/pencil-benchmark,dividiti/pencil-benchmark,pencil-language/pencil-benchmark,rbaghdadi/pencil-benchmark,dividiti/pencil-benchmark,dividiti/pencil-benchmark,rbaghdadi/pencil-benchmark