Values (GVL) for a
(Method) CheckCandidateFor
period for modulo
epsilon for LREAL
offset for this
is designed for
termination criteria for
mounted. For example
description for a [...] dataserver for example