towards full constraints: removing heuristics with "too many result origins"
delta in test data
remove unused parameter `nocycle`
no generalization, explicitly