modifiers

fun modifiers(target: Clause, context: Solve.Request<ExecutionContext>): Term