map_variables: detect non_sequences in replacements inside Scan (and equivalently for OpFromGraph) and properly connect them through inner inputs