Clean facts and enable strict_variables