iftrueFZFiffalseFZZtest%Xnats%XtrueheadconsGVGtailconsGVVFnatstringZnatstringGnatnatVfunlistconsnatnatfunlistfunlistfalseboolheadfunlistnatnatifboolnatstringnatstringnatstringnilfunlistsnatnattailfunlistfunlisttestnatnatbooltrueboolFULLbenchmarks/mine/lmcs12.ex6.12.afs