let valid_behaviors kf state = extract_valid_behaviors (State_set.singleton state) (Kernel_function.get_spec kf)