Added snf abstract translation