# Forbid detector motion when the detector voltage is on
forbid {-inf inf} for det    when dhv1 in {800 inf}
forbid {-inf inf} for detoff when dhv1 in {800 inf}