Added tracking example and .gitignore file for fasl/log files.
Added support for belief conflicts using a problem-specific function.
Updated tracking example cases.
Updated tracking example.
Respect a justification's constraints when grounding existentials.