Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing