expose type_check parameter of the logic parser