Agda.TypeChecking.Forcing
addForcingAnnotations
forcedVariables
force