another example, FST and SND, currently broken

found a problem in build_interpretation to do with dependencies of
wf_to_inners.