Added pending/source attributes to variables.
Removed egraph since it's not working.
Refactoring.
Renaming test files
bugfix - fixing variable/function having same name
Forgot to delete this file.