Follows Rec!3217
Replace NINCONE
functor with MAP_INPUT_SIZE
Needs Rec!3217 (merged), Analysis!932 (merged), Moore!1911 (merged)
Edited by Tommaso Fulghesu
Replace NINCONE
functor with MAP_INPUT_SIZE
Needs Rec!3217 (merged), Analysis!932 (merged), Moore!1911 (merged)