Object Info
subterm(_G62, _G63) is defined in /home/faculty/engelen/Ctadel/init.s:135
subterm(_G62, _G63) --> intrinsic_op(user, boolean, off) --> operator --> object
------------------------- Methods inherited from class object:
subterm(_G62, _G63) can get_saved(_G10512, _G10513)
restore(_G10512)
freeze(_G10512, _G10513)
save(_G10512, _G10513)
get_properties(_G10512, _G10513)
get_superobjects(_G10512, _G10513)
get_subobjects(_G10512, _G10513)
get_parents(_G10512, _G10513)
get_children(_G10512, _G10513)
get_instances(_G10512, _G10513)
create(_G10512, _G10513, _G10514)
create(_G10512, _G10513)
get_dependencies(_G10512, _G10513)