FAILING FILES 2018-12-17

matitac.opt binding/fp.ma
matitac.opt binding/ln_concrete.ma
matitac.opt binding/ln.ma
matitac.opt binding/names.ma
matitac.opt extraction.ma
matitac.opt finite_lambda/confluence.ma
matitac.opt finite_lambda/reduction.ma
matitac.opt finite_lambda/terms_and_types.ma
matitac.opt finite_lambda/typing.ma
matitac.opt reverse_complexity/hierarchy.ma
matitac.opt reverse_complexity/toolkit.ma
matitac.opt turing/multi_to_mono/multi_to_mono.ma