The engine declares relations with free_var_name terms, so should expect & support also free_var_name type
This is a silent bug as it happens only when trying to print the relation declarations that the engine initialized (mostly during debugging phases)
The engine declares relations with free_var_name terms, so should expect & support also free_var_name type This is a silent bug as it happens only when trying to print the relation declarations that the engine initialized (mostly during debugging phases)