Add no-opt things in domset; no-goal exec requires redesign