frontend: support "min" intrinsic
polyhedral model: remove reduntant "pow" intrinsic, map to "raise"
polyhedral model: enable buffer size optimization for finite statements