predicate basic_lns(var bool: nbh) = (status()!=START -> nbh);