mutable/1
mutable(+Term)
mutable(
)
Succeeds if Term is currently instantiated to a mutable term.
ref-lte-met-typ, ref-lte-mut.