split discretize, moving get_input, getInputHelper, is_seq_inside, get_cellID to abstract.find_controller