predicate basic_LNS() =
	(status() != START) -> nbh(X);