projection: added cnf annotations, rigged var choice heuristic to prefer remembered vars
added a utility method to check component forgettability
translate remembered vars as preprocessing dictates
kill forgettable components (ignoring their satisfiability for the moment)