fix sn = 1 rule
enhance expressibility of the built-in DSL