implemented working sets for Rascal navigator