program with domain restriction is added