Parameter SensitiveConf.C

val expand_fst : bool
val expand_snd : bool