declared_public(moose(bertha)).
undeclared_sibling(moose / 1).
public_is_not_dynamic(permission_error(modify, static_procedure, elk / 1)).
flag_default(private).
flag_opens_every_procedure(true).
builtins_stay_private(atom / 1).