functor:synth functor:syn-rules functor:xnfio functor:cprop functor:nodangle -t:xnf