Comment error
ADDED: var_property/2, providing information about a variable for
goal_expansion/2.