Add check for unbound variables to inline rewrites.