[Parser] Inner-loop insertion finally works