polyhedral model: make use of constants propagated in semantic analysis
unit testing: test constant propagation in intrinsics