using tactics to generate terms instead of producing constrs