added equivalent programs without domain