add LoopToScev maps
use apply and ScevParameterRewriter::rewrite instead of SCEVRewriter